\contentsline {section}{\numberline {1}Introduzione}{2}{section.1}
\contentsline {section}{\numberline {2}Protocololli di accesso a risorsa}{3}{section.2}
\contentsline {subsection}{\numberline {2.1}PCP/SRP}{3}{subsection.2.1}
\contentsline {subsection}{\numberline {2.2}Sospensione ed attesa attiva}{3}{subsection.2.2}
\contentsline {subsection}{\numberline {2.3}DPCP}{4}{subsection.2.3}
\contentsline {subsection}{\numberline {2.4}MSRP}{4}{subsection.2.4}
\contentsline {subsection}{\numberline {2.5}OMLP}{4}{subsection.2.5}
\contentsline {subsection}{\numberline {2.6}Helping protocol}{4}{subsection.2.6}
\contentsline {section}{\numberline {3}Analisi di schedulabilita' ed accesso alla risorsa}{5}{section.3}
\contentsline {subsection}{\numberline {3.1}Accessi in parallelo}{5}{subsection.3.1}
\contentsline {subsection}{\numberline {3.2}FIFO e spinning}{6}{subsection.3.2}
\contentsline {section}{\numberline {4}Modello concettuale}{7}{section.4}
\contentsline {subsection}{\numberline {4.1}Ceiling}{7}{subsection.4.1}
\contentsline {subsection}{\numberline {4.2}Prerilascio}{8}{subsection.4.2}
\contentsline {subsection}{\numberline {4.3}Gestione casi particolari}{10}{subsection.4.3}
\contentsline {subsubsection}{\numberline {4.3.1}Caso pessimo}{10}{subsubsection.4.3.1}
\contentsline {subsubsection}{\numberline {4.3.2}Caso intermedio}{12}{subsubsection.4.3.2}
\contentsline {section}{\numberline {5}Implementazione}{13}{section.5}
\contentsline {subsection}{\numberline {5.1}Il nuovo modello}{13}{subsection.5.1}
\contentsline {subsection}{\numberline {5.2}I costi della migrazione}{14}{subsection.5.2}
\contentsline {subsection}{\numberline {5.3}Strutture dati}{16}{subsection.5.3}
\contentsline {subsection}{\numberline {5.4}Callback di LITMUS-RT}{17}{subsection.5.4}
\contentsline {paragraph}{Scheduler}{17}{section*.2}
\contentsline {paragraph}{Risorsa globale}{18}{section*.3}
\contentsline {paragraph}{Funzioni aggiuntive}{18}{section*.4}
\contentsline {subsection}{\numberline {5.5}Lock della risorsa}{19}{subsection.5.5}
\contentsline {subsection}{\numberline {5.6}Rilascio della risorsa}{20}{subsection.5.6}
\contentsline {subsection}{\numberline {5.7}Schedule}{21}{subsection.5.7}
\contentsline {subsection}{\numberline {5.8}Context switch}{22}{subsection.5.8}
